4 M ay 2 00 6 Coq in a Hurry

2 2 M ay 2 00 8 ( Mechanical ) Reasoning on Infinite Extensive Games

In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed the experiments in proof assistant Coq that are reported here.

ar X iv : h ep - p h / 04 02 19 0 v 2 2 6 M ay 2 00 4 1 Pentaquarks in the 10 F - and 10 F - plets

ar X iv : m at h / 05 02 57 3 v 6 [ m at h . A G ] 1 4 M ay 2 00 6 ON DEFORMATIONS OF FLAG

Any (global) deformation of a flag manifold F with b2 = 1 is biholomorphic to F .

ar X iv : h ep - p h / 02 11 38 2 v 4 2 6 M ay 2 00 3 Possibility of Measuring the CP - Violation γ - parameter in Decays of Ξ bc Baryons

Coq in a Hurry

These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much more comprehensive study is provided in [1], which also provides an extensive collection of exerc...